81. ECOOP 2010 -- object-oriented programming
پدیدآورنده : Theo D'Hondt (ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Object-oriented programming (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
رده :
QA
،
76
.
64
،.
E953
،
2010
82. ECOOP 2007-- object-oriented programming
پدیدآورنده : / Erik Ernst (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Object-oriented programming (Computer science)--Congresses,Object-oriented methods (Computer science)--Congresses
رده :
QA
,
76
.
64
,.
E953
,
2007
83. Empirical software engineering and verification
پدیدآورنده : Bertrand Meyer, Martin Nordio (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
E47
2011eb
84. End-user development :
پدیدآورنده : edited by Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : End-user computing, Congresses.,Human-computer interaction, Congresses.,Software engineering, Congresses.,User-centered system design, Congresses.,End-user computing.,Human-computer interaction.,Software engineering.,User-centered system design.
رده :
QA76
.
9
.
E53
I84
2019
85. End-user development :
پدیدآورنده : Maria Francesca Costabile [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : End-user computing, Congresses,Human-computer interaction, Congresses
رده :
QA76
.
9
.
E53
86. Engineering Multi-Agent Systems :
پدیدآورنده : Danny Weyns, Viviana Mascardi, Alessandro Ricci (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Engineering systems, Congresses.,Multiagent systems, Congresses.,Artificial intelligence.,Engineering systems.,Multiagent systems.
رده :
QA76
.
76
.
I58
87. Engineering self-organising systems : nature-inspired approaches to software engineering
پدیدآورنده : Giovanna Di Marzo Serugendo...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Self-organizing systems,Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation
رده :
QA
76
.
L28
Vol
.
2977
88. Engineering theories of software construction
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
89. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
90. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
91. Enterprise information systems :
پدیدآورنده : Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
92. Experimental algorithms
پدیدآورنده : Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A43
S43
2013
93. Experimental algorithms
پدیدآورنده : / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
94. Experimental algorithms :
پدیدآورنده : Ralf Klasing (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms.,Informatique.
95. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
پدیدآورنده : Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3556
96. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
پدیدآورنده : Jutta Eckstein, Hubert Baumeister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3092
97. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
پدیدآورنده : Michele Marchesi, Giancarlo Succi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2675
98. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
99. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
100. Formal aspects of component software
پدیدآورنده : Luís Soares Barbosa, Markus Lumpe (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
I585
2010eb
